Modeling belief in dynamic systems, part I: Foundations
نویسندگان
چکیده
منابع مشابه
Modeling Belief in Dynamic Systems, Part I: Foundations
Belief change is a fundamental problem in AI: Agents constantly have to update their beliefs to accommodate new observations. In recent years, there has been much work on axiomatic characterizations of belief change. We claim that a better understanding of belief change can be gained from examining appropriate semantic models. In this paper we propose a general framework in which to model belie...
متن کاملModeling Belief in Dynamic Systems, Part II: Revisions and Update
The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. In a companion paper (Friedman & Halpern, 1997), we introduce a new framework to model belief change. This framework combines temporal and epistemic modalities with a notion of plausibility, allowing us to ex...
متن کاملDynamic Epistemic Logic Part I: Modeling Knowledge and Belief
The first to propose a (modal) logic of knowledge and belief was Jaako Hintikka in his seminal book Knowledge and Belief: An Introduction to the Logic of the Two Notions, published in 1962. However, the general study of formal semantics for knowledge and belief (and their logic) really began to flourish in the 1990s with fundamental contributions from computer scientists (Fagin et al., 1995; Me...
متن کاملModeling Belief in Dynamic Systems, Part II: Revision and Update
The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. In a companion paper (Friedman & Halpern, 1997), we introduce a new framework to model belief change. This framework combines temporal and epistemic modalities with a notion of plausibility, allowing us to ex...
متن کاملModeling Belief in Dynamic Systems
The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. In a companion paper Friedman and Halpern 1995a], we introduce a new framework to model belief change. This framework combines temporal and epistemic modalities with a notion of plausibility, allowing us to e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1997
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(97)00040-4